This tab includes 3 kinds of variables

• The first two settings Variable Lower Bound/ Variable Upper Bound are used to set the default variable range when the variable range is not provided in the program.

For example:
var a:{0..2} = 0;
var b = 0;
According to the declaration, variable a's values are between 0 and 2 while b is not provided the variable range, it will receive the default variable range in the BDD Setting option tab which is {0..32}

• The next three settings are used to set for the channel message. Maximum Channel Message Length is the maximum of the channel message length where channel message length is the number of parameters in a Channel Out message, i.e., c!0.1.2 has the channel message length 3. Message Lower Bound/ Message Upper Bound is the minimum/maximum values for parameters in the Channel Out message.
• Event Parameter Lower Bounds/ Event Parameter Upper Bounds are provided to define the maximum number of parameter in an event name and the minimum/maximum values of each parameter. According the current setting, the maximum number of event parameters is 2 and each paramter is in the range {0..10}. Therefore event names like event1.a, event2.i.j, and event3.0 are acceptable. Using event name having more than 2 parameters like event4.a.b.c or out of range paramters like event5.11 causes wrong result.